This was a little course of 4 weeks, in which we tried to develop some basic ideas about the proofs related to the properties of logarithms.

A guide to the first steps into the world of Geometry, Trigonometry and their lines-of-reasoning widely used through the high school and first years of college, in the exact-sciences context.

La Inteligencia Artificial (IA) ha supuesto un gran avance para la humanidad en diversos campos; sin embargo, eso no implica que su actividad esté exenta de reflexión ética. La humanidad está enfrentado, y va a enfrentar en el futuro, numerosos desafíos que van a obligar a elaborar nuevas ideas para poder vivir a la altura de los tiempos. Entre esos desafíos encontramos el laboral y económico, el de mejoramiento humano, el militar y de seguridad y el político y jurídico, entre (...) otros. Así pues, una vez considerados los desafíos en el terreno de la IA, una referencia ética que puede servir para enfrentar dichos desafíos, puede ser el principio de responsabilidad de Hans Jonas. La lectura de este aporte ético puede facilitarnos unas primeras coordenadas para la orientación en medio de un horizonte de posibilidades nuevo para la humanidad y, adicionalmente, servir como punto de partida en el compromiso que deben asumir los diferentes saberes implicados en este novedoso campo. (shrink)

Contemplar una ruina es mirarnos a nosotros mismos. Esa sentencia tal vez describe lo que pretendo realizar en el ensayo a continuación y consta de tres movimientos: I) Un momento reflexivo sobre las ruinas: ¿qué se entiende como ruina? ¿qué relación tiene la ruina con el pensamiento? ¿qué podría decirnos sobre las ruinas un diálogo con algunos postulados de Hegel, específicamente con su fenomenología? Seguidamente, II) Un momento conceptual, en el que pondré en diálogo algunos extractos con la idea hegeliana (...) del espacio en el filósofo contemporáneo Henri Lefebvre. Y finalmente, III) Un momento crítico en donde presentaré una reflexión sobre las ruinas cómo fenómeno cultural a partir de la obra de la artista puertorriqueña Norma Vila Rivero, intitulada: “The Arecibo Observatory Collapse: An Ignominious End to Interstellar Dreams” (2021). -/- Palabras clave: Ruinas, Fenomenología, Hegel, Henri Lefebvre, Norma Vila Rivero. (shrink)

Resumen: Resulta incuestionable la importancia que el filósofo francés Gilles Deleuze otorga al cinematógrafo. Conforme a su teoría del conocimiento, si la filosofía "piensa" mediante conceptos, el cine "piensa" mediante imágenes: se trata de un medio de creación artística a la vez que de reflexión (distinta de otras formas de "escritura") acerca de los problemas de la condición humana. De hecho, afirmamos que el propio pensamiento de Deleuze guarda mucho en común con las técnicas cinematográficas, al igual que sucedería en (...) la literatura del siglo XX, por ejemplo en James Joyce (en lengua anglosajona) y Jorge Luis Borges (en lengua castellana). -/- Abstract: There is no doubt as to the importance that cinematography has for the French philosopher Gilles Deleuze. According to Deleuze's theory of knowledge, just as philosophy "reasons" through concepts, cinema "reasons" by means of images. Cinema is a means of artistic creation and at the same time reflects in a way distinct from writing on the problems of the human conditions. In fact, this essay argues that Deleuze's own thought had much in common with cinematographic techniques, a relation which occurred in the twentieth century literature of James Joyce (in the English language) and Jorge Luis Borges (in the Spanish language). (shrink)

Sumário. Apresentação. PARTE I. 1. O legado filosófico de P. F. Strawson, Itamar Luís Gelain e Jaimir Conte; 2 . Strawson e o caso dos metafísicos descritivos, Itamar Luís Gelain; 3. Metafísica e linguagem comum: sobre uma conturbada herança wittgensteiniana de Strawson, Jônadas Techio; 4. Strawson e Descartes, Albertinho Luiz Gallina; 5. Strawson: sobre Kant e Berkeley, Robert Calabria; 6. O empirismo pós-kantiano de Strawson, Wenceslao J. González; 7. Reabilitando Strawson, Marco Antonio Franciotti; 8. Strawson e o ceticismo em (...) Individuals, Plínio Junqueira Smith; 9. Strawson e a causação visível, João Paulo Monteiro; 10. A verdade dos fatos, Susana Badiola; 11. Estabelecer limites: implicações epistemológicas da lógica, Roberta Corvi; 12. Referência e termos singulares, Carlos E. Caorsi; 13. Strawson: da experiência possível para a ação possível, Márlon Henrique Teixeira; 14. Atitudes reativas e responsabilidade moral, Cristina de Moraes Nunes; 15. Strawson e Hume: uma comparação a propósito de “Moralidade social e ideal individual”, Amán Rosales Rodríguez; PARTE II. 16. Liberdade e ressentimento, P. F. Strawson. Tradução: Jaimir Conte; 17. Moralidade social e ideal individual, P. F. Strawson, Tradução: Jaimir Conte. Seleção bibliográfica. (shrink)

Coletânea de textos: 1.Idealismo transcendental, naturalismo e um pouco de história, Adriano Naves de Brito; 2. Ceticismo e a reconstrução de P.F. Strawson da dedução kantiana das categorias, Pedro Stepanenko; 3. Dedução Transcendental e Ceticismo, Marco Antonio Franciotti; 4. Strawson e Kant sobre a dualidade entre intuições e conceitos, Roberto Horácio de Sá Pereira; 5. Princípio de significatividade em Kant e Strawson, Cristina de Moraes Nunes; 6. Strawson e Kant sobre a Liberdade, Albertinho Luiz Gallina e Cecília Rearte Terrosa; (...) 7. Argumentos Transcendentais e Metafísica Descritiva em P. F. Strawson, Itamar Luís Gelain; 8. Breve consideração sobre o problema da tese da aprioridade do espaço e do tempo, Juan Adolfo Bonaccini; 9. Os novos fundamentos da metafísica estabelecidos por Kant, Peter F. Strawson, Trad. Jaimir Conte; 10. Imaginação e percepção, Peter F. Strawson, Trad. Ítalo Lins Lemos. (shrink)

A general mathematical framework, based on countable partitions of Natural Numbers [1], is presented, that allows to provide a Semantics to propositional languages. It has the particularity of allowing both the valuations and the interpretation Sets for the connectives to discriminate complexity of the formulas. This allows different adequacy criteria to be used to assess formulas associated with the same connective, but that differ in their complexity. The presented method can be adapted potentially infinite number of connectives and truth values, (...) therefore, it can be considered a general framework to provide semantics to several of the known logic systems (eg, LC, L3 LP, FDE). The presented semantics allow to converge to different standard semantics if the separation complexity procedure is annulled. Therefore, it can be understood as a framework that allows greater precision (in complexity terms) with respect to formula satisfaction. Naturally, because of how it is built, it can be incorporated into non-deterministic semantics. The presented procedure also allows generating valuations that grant a different truth value to each formula of propositional language. As a positive side effect, our method allows a constructive proof of the equipotence between N and N^n for all Natural n. (shrink)

Este trabajo presenta una propuesta biologizada del arte y la Filosofía Indígena desde el pueblo kichwa Saraguro, con el fin de discutir especialmente los fundamentos de los derechos de la naturaleza. Aunque, hay que resaltar que, el sitio de enunciación no es estrictamente el lugar descrito; porque la matriz de discusión es el Sumak Kawsay que involucra a Latinoamérica en general. La metodología que se usa es la transdisciplinar. El orden de desarrollo está enmarcado en una primera parte que desarrolla (...) a modo teórico la presencia del arte y la estética en el mundo indígena. Luego, se presenta un breve análisis de campo, específicamente una discusión con el artista kichwa Saraguro Luis Antonio Lozano. Se concluye que existe un contenido religioso, espiritual o Trascendental en el arte y la estética kichwa Saraguro, que puede aportar para el desarrollo del fundamento filosófico de los derechos de la naturaleza y el Sumak Kawsay. (shrink)

PREMISSA No século XIX, ocorreram transformações impulsionadas pela emergência de novas fontes energéticas (água e petróleo), por novos ramos industriais e pela alteração profunda nos processos produtivos, com a introdução de novas máquinas e equipamentos. Depois de 300 anos de exploração por parte das nações europeias, iniciou -se, principalmente nas colônias latino-americanas, um processo intenso de lutas pela independência. É no século XIX, já com a consolidação do sistema capitalista na Europa, que se encontra a herança intelectual mais próxima da (...) qual surgirá a Sociologia como ciência particular. No início desse século, as ideias do Conde de Saint-Simon (1760-1825), de Georg Wilhelm Friedrich Hegel (1770-1831), de David Ricardo (1772-1823) e de Charles Darwin (1809-1882), entre outros, foram o elo para que Alexis de Tocqueville (1805-1859), Auguste Comte (1798-1857), Karl Marx (1818 -1883) e Herbert Spencer (1820-1903), entre outros, desenvolvessem reflexões sobre a sociedade de seu tempo. Auguste Comte e Karl Marx foram os pensadores que lançaram as bases do pensamento sociológico e de duas grandes tradições – a positivista e a socialista – que muito influenciaram o desenvolvimento da Sociologia no Brasil. 1 AUGUSTE COMTE E A TRADIÇÃO POSITIVISTA Isidore Auguste Marie François Xavier Comte nasceu em Montpellier, na França, em 19 de janeiro de 1798. Com 16 anos de idade, ingressou na Escola Politécnica de Paris, fato que teria significativa influência na orientação posterior de seu pensamento. De 1817 a 1824, foi secretário do Conde de Saint-Simon. Comte declarou que, com Saint -Simon, aprendeu muitas coisas que jamais encontraria nos livros e que, no pouco tempo em que conviveu com o conde, fez mais progressos do que faria em muitos anos, se estivesse sozinho. Toda a obra de Comte está permeada pelos acontecimentos que ocorreram após a Revolução Francesa de 1789. Ele defendeu parte dos princípios revolucionários e criticou a restauração da monarquia, preocupando-se fundamentalmente em reorganizar a sociedade, que, no seu entender, estava em ebulição e mergulhada no caos. Para Comte, a desordem e a anarquia imperavam em virtude da confusão de princípios (metafísicos e teológicos), que não se adequavam à sociedade industrial em expansão. Era, portanto, necessário superar esse estado de coisas, usando a razão como fundamento da nova sociedade. Propôs, então, a mudança da sociedade por meio da reforma intelectual plena das pessoas. De acordo com o pensador, com a modificação do pensamento humano, por meio do método científico, que ele chamava de “filosofia positiva”, haveria uma reforma das instituições. Com a proposta do estudo da sociedade por meio da análise de seus processos e estruturas, e da reforma prática das instituições, Comte criou uma nova ciência, à qual deu o nome de “física social”, passando a chamá-la posteriormente de Sociologia. A Sociologia representava, para Comte, o coroamento da evolução do conhecimento, mediante o emprego de métodos utilizados por outras ciências, que buscavam conhecer os fenômenos constantes e repetitivos da natureza: a observação, a experimentação, a comparação e a classificação. De acordo com esse pensador, a Sociologia, como as ciências naturais, deve sempre procurar a reconciliação entre os aspectos estáticos e os dinâmicos do mundo natural ou, no caso da sociedade humana, entre a ordem e o progresso. O lema da “filosofia positiva” proposta por Comte era “conhecer para prever, prever para prover”, ou seja, o conhecimento é necessário para fazer previsões e também para solucionar possíveis problemas. A influência de Comte no desenvolvimento da Sociologia foi marcante, sobretudo, na escola francesa, evidenciando-se em Émile Durkheim e seus contemporâneos e seguidores. Seu pensamento esteve presente em muitas das tentativas de criar tipologias para explicar a sociedade. Suas principais obras são: Curso de filosofia positiva (1830-1842), Discurso sobre o espírito positivo (1848), Catecismo positivista (1852) e Sistema de política positiva (1854). Para concluirmos, Comte explanava que para a superação da anarquia reinante na nova sociedade industrial, a filosofia positivista defendia a subordinação do progresso à ordem. O mesmo era contra o retorno de Luís XVIII ao trono: em sua concepção, a sociedade industrial que emergia requeria um governo fundado na razão. 2 A TRADIÇÃO SOCIALISTA: KARL MARX E FRIEDRICH ENGELS Karl Heinrich Marx nasceu em Tréveris, na antiga Prússia, hoje Alemanha, em 1818 e, em 1830, ingressou no Liceu Friedrich Wilhelm, nessa mesma cidade. Anos depois, foi cursar Direito na Universidade de Bonn, transferindo-se para Berlim em seguida. Pouco a pouco, entretanto, seus interesses migraram para a Filosofia, área na qual defendeu, em 1841, a tese de doutorado A diferença da filosofia da natureza em Demócrito e Epicuro. Sua vida universitária foi marcada pelo debate político e intelectual influenciado pelo pensamento de Ludwig Feuerbach (1804-1872) e, principalmente, pelo de Georg Wilhelm Friedrich Hegel (1770- 1831). Friedrich Engels (1820-1895) nasceu em Barmen (Renânia), na antiga Prússia, hoje Alemanha, filho mais velho de um rico industrial do ramo têxtil. Terminou sua formação secundária em 1837 e a partir de então sua formação intelectual foi por conta própria (autodidata), com alguns cursos universitários esparsos e de curta duração. Desde cedo começou a trabalhar nas empresas de seu pai e foi nessa condição que se deslocou para Bremen por três anos e depois foi enviado pelos pais a Manchester, na Inglaterra, onde trabalhou nas fábricas da família. Engels ficou impressionado com a miséria na qual viviam os trabalhadores das fábricas inglesas. Os dois, Marx e Engels, se encontraram em 1842, quando Marx passou a escrever para A Gazeta Renana, jornal da província de Colônia, do qual Engels era colaborador e mais tarde editor-chefe. O jornal, que criticava o poder prussiano, foi fechado em 1843, e Marx se viu desempregado. Ao perder o emprego, mudou-se para Paris, na França. Ali escreveu, em 1844, os Manuscritos econômico-filosóficos (só publicados em 1932) e, junto com F. Engels, o livro A sagrada família. Por sua vez, F. Engels, em 1844, decidiu voltar para a Alemanha, onde publicou, em 1845, A situação da classe trabalhadora na Inglaterra. Entre 1845 e 1847, Marx exilou-se em Bruxelas, na Bélgica, onde escreveu A ideologia alemã (em parceria com Friedrich Engels) e Miséria da filosofia (1847), obra na qual criticou o filósofo Pierre-Joseph Proudhon (1809-1865). Em 1848, ainda na Bélgica, a parceria com Engels se solidificou ao escreverem juntos o livreto O Manifesto Comunista. Em 1848, Marx foi expulso da Bélgica e retornou a Colônia, na Alemanha (Prússia), sempre pensando na possibilidade de uma mudança estrutural em sua terra natal. Isso, entretanto, não aconteceu e Marx foi expulso da Alemanha em 1849, ano em que migrou para Londres, na Inglaterra, onde permaneceu até o fim da vida. Lá escreveu O 18 Brumário de Luís Bonaparte (1852), sua mais importante obra de reflexão sobre a vida política europeia do século XIX, desenvolveu pesquisas e concluiu seu maior trabalho: O capital: crítica da economia política. O primeiro volume dessa obra foi publicado em 1867; os outros três, em 1885, 1894 e 1905, após a morte de Marx, revisados por F. Engels. 2.1 O contexto histórico e a obra de Marx e Engels Para situar a obra de Marx e Engels, é necessário conhecer um pouco do que acontecia em meados do século XIX. Com as transformações que ocorriam no mundo ocidental, principalmente na esfera da produção industrial, houve um crescimento expressivo no número de trabalhadores industriais urbanos, com uma consequência evidente: precariedade da vida dos operários nas cidades. As condições de trabalho no interior das fábricas eram péssimas. Os empregados eram superexplorados, alimentavam-se mal e trabalhavam em ambientes insalubres. Para enfrentar essa situação e tentar modificá-la, os trabalhadores passaram a se organizar em associações e sindicatos e a promover movimentos de reivindicação. Desenvolveu-se, então, uma discussão das condições sociais, políticas e econômicas para se definirem as possibilidades de intervenção nessa realidade. Desde o início do século XIX, muitos pensadores discutiram essas questões, nas perspectivas socialista e anarquista. Na Inglaterra podem ser citados, entre outros: William Godwin (1756-1836), Thomas Spence (1750-1814), Thomas Paine (1737-1809), Robert Owen (1771-1858) e Thomas Hodgkin (1787-1866). Na França, destacaram-se Étienne Cabet (1788- 1856), Flora Tristan (1803-1844), Charles Fourier (1772-1837) e Pierre-Joseph Proudhon (1809-1865). Marx e Engels levaram em conta esses pensadores, debatendo com alguns contemporâneos e criticando-os. Além disso, incorporaram a tradição da economia clássica inglesa, presente principalmente nas obras de Adam Smith e de David Ricardo. Pode-se dizer, portanto, que Marx e Engels desenvolveram seu trabalho com base na análise crítica da economia política inglesa, do socialismo utópico francês e da filosofia alemã. Esses dois autores não buscavam definir uma ciência específica para estudar a sociedade (como a Sociologia, para Auguste Comte) ou situar seu trabalho em um campo científico particular. Em alguns escritos, Marx afirmou que a História seria a ciência que mais se aproximava de suas preocupações, por abarcar as múltiplas dimensões da sociedade, a qual deveria ser analisada na totalidade, não havendo uma separação rígida entre os aspectos sociais, econômicos, políticos, ideológicos, religiosos, culturais etc. O objetivo de Marx e Engels era estudar criticamente a sociedade capitalista com base em seus princípios constitutivos e em seu desenvolvimento, visando dotar a classe trabalhadora de uma análise política da sociedade de seu tempo. Assim, a tradição socialista nascida da luta dos trabalhadores, muitos anos antes e em situações diferentes, tem como expressão intelectual o pensamento de Karl Marx e Friedrich Engels. Para entender as concepções fundamentais de Marx e Engels é necessário fazer a conexão entre as lutas da classe trabalhadora, suas aspirações e as ideias revolucionárias que estavam presentes no século XIX na Europa. Para eles, o conhecimento científico da realidade só tem sentido quando visa à transformação dessa mesma realidade. A separação entre teoria e prática não é discutida, pois a “verdade histórica” não é algo abstrato e que se define teoricamente; sua verificação está na prática. Apesar de haver algumas diferenças em seus escritos, os elementos essenciais do pensamento de Marx e Engels podem ser assim sintetizados: • historicidade das ações humanas – crítica ao idealismo alemão; • divisão social do trabalho e o surgimento das classes sociais – a luta de classes; • o fetichismo da mercadoria e o processo de alienação; • crítica à economia política e ao capitalismo; • transformação social e revolução; • utopia – sociedade comunista. A obra desses dois autores é muito vasta e não ficou vinculada estritamente aos movimentos sociais dos trabalhadores. Pouco a pouco foi introduzida nas universidades como parte do estudo em diferentes áreas do conhecimento. Estudiosos de Filosofia, Sociologia, Ciência Política, Economia, História e Geografia, entre outras áreas, foram influenciados por ela. Na Sociologia, como afirma Irving M. Zeitlin, no livro Ideología y teoría sociológica, tanto Max Weber quanto Émile Durkheim fizeram, em suas obras, um debate com as ideias de Karl Marx. Pelas análises da sociedade capitalista de seu tempo e a repercussão que tiveram em todo o mundo, principalmente no século XX, nos movimentos sociais e nas universidades, Marx e Engels são considerados autores clássicos da Sociologia. No campo dessa disciplina, porém, o pensamento deles ficou um pouco restrito, pois perdeu aquela relação entre teoria e prática (práxis), ou seja, entre a análise crítica e a prática revolucionária. Essa relação esteve presente, por exemplo, na vida e na obra dos russos Vladimir Ilitch Ulianov, conhecido como Lênin (1870-1924), e Leon D. Bronstein, conhecido como Trotsky (1879-1940), da alemã Rosa Luxemburgo (1871-1919) e do italiano Antonio Gramsci (1891- 1937), que tiveram significativa influência no movimento operário do século XX. Com base no trabalho de Marx e Engels, muitos autores desenvolveram estudos acadêmicos em vários campos do conhecimento. Podemos citar, por exemplo, Georg Lukács (1885-1971), Theodor Adorno (1903-1969), Walter Benjamin (1892-1940), Henri Lefebvre (1901-1991), Lucien Goldmanm (1913 -1970), Louis Althusser (1918 -1990), Nikos Poulantzas (1936-1979), Edward P. Thompson (1924-1993) e Eric Hobsbawm (1917 -2012). O pensamento de Marx e Engels continua, assim, presente em todo o mundo, com múltiplas tendências e variações, sempre gerando controvérsias. REFERENCIAL TEÓRICO GEMKOW, H.; PSUA, I. M. L. Marx e Engels: Vida e Obra. São Paulo: Alfa e Ômega, 1984. 232 pp. GIANOTTI, J. A. Comte. São Paulo: Abril Cultural, 1978. 318 pp. (Col. Os Pensadores) KONDER, L. Marx: vida e obra. 7ª ed. São Paulo: Paz e Terra, 2007. 154 pp. (Col. Vida e Obra). (shrink)

DESENVOLVIMENTO EMBRIONÁRIO E DIFERENCIAÇÃO SEXUAL -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- 1.1 INTRODUÇÃO O sexo foi definido como a soma das diferenças morfológicas, fisiológicas e psicológicas que distinguem o macho da fêmea permitindo a reprodução sexual e assegurando a continuidade das espécies. Os processos de diferenciação sexual são realizados durante o desenvolvimento embrionário, onde ocorre a proliferação, diferenciação e maturação das células germinativas e primordiais, precursoras (...) de ovócitos e espermatozoides em fêmeas e machos, respectivamente. Assim, os embriões machos e fêmeas iniciam o seu desenvolvimento de forma semelhante, de modo que em ambos os sexos se estabelecem em estruturas idênticas a partir das quais se formarão os órgãos reprodutores correspondentes a cada sexo. O conhecimento da origem e do desenvolvimento do aparelho genital é indispensável para entender sua função e as alterações que produzem infertilidade ou esterilidade. 1.2 DETERMINAÇÃO DO SEXO CROMOSSÔMICO Nos mamíferos, o sexo cromossômico é determinado no momento da fertilização, quando um óvulo, que contém um cromossomo X, é fecundado por um espermatozoide portador de um cromossomo X ou um cromossomo Y. No primeiro caso, o complemento cromossômico seria XX, o que originaria uma fêmea (sexo homogamético), e no segundo daria como resultado um macho com a fórmula cromossômica XY (sexo heterogâmico). 1.3 A GÔNADA INDIFERENCIADA A primeira manifestação das gônadas se aprecia no embrião em forma de um par de eminências longitudinais chamadas cristas ou dobras gonodais, situadas em ambos os lados da linha média entre os mesonefros (rins em desenvolvimento) e do mesentério dorsal. Nos embriões dos mamíferos, as células germinativas primordiais (CGP) manifestam-se em estágios precoces do desenvolvimento, podendo ser detectadas pela primeira vez na metade da gastrulação. As CGP são células grandes, de citoplasma claro e núcleo grande e redondo, localizadas na parede do saco vitelino, perto do alantoide. Essas células possuem grande capacidade de proliferação e vão migrar desde o endoderma do intestino e o epitélio do saco vitelino, através do mesentério, até as cristas gonodais. Isso ocorre por volta do 26° dia da gestação no bovino. Sua migração realiza-se graças aos movimentos de translocação passiva e deslocamento ameboide ativo. Desconhece-se o mecanismo pelo qual estas células são dirigidas para as cristas gonodais, porém foram estudadas algumas moléculas que se expressam durante sua migração e que poderiam desempenhar um papel importante na diferenciação deste tipo celular. A fosfatase alcalina é uma enzima que tem sido usada como marcador de CGP para determinar a sua origem e migração. Num estudo recente, foi inserido um marcador fluorescente que se exprime unicamente nas células germinativas primordiais de embriões transgênicos, e utilizando este marcador e a fosfatase alcalina determinou-se a origem e o padrão de migração destas células. O primeiro sinal de diferenciação das células germinativas primordiais é a expressão de fosfatase alcalina, e esta apareceu pela primeira vez na parte mais posterior da linha primitiva. No sétimo dia de desenvolvimento no embrião do camundongo, o endoderma visceral (AF+) é substituído pelo endoderma definitivo (AF-) originado na parte anterior da linha primitiva. O fator de transcrição Oct-4 é expresso nas CGP de ambos os sexos, pelo que acredita-se estar envolvido na mantença a totipotêncialidade das células. O receptor tirosina quinase, cujo ligante é o fator de Steel, é outra das moléculas que expressam as CGP. Tem sido demonstrado que este receptor possui um papel muito importante na sobrevivência deste tipo celular. Existem outros fatores que promovem a sobrevivência e/ou proliferação de CGP in vitro. Em experiências realizadas com o fator de transformação beta I (TGFβ-I), observou-se que este tem um efeito negativo sobre a proliferação das CGP. Outra atividade que tem sido postulada a este fator é o de um agente quimioatraente que possivelmente possa direcionar a migração destas células para a gônada. a) Um formado pelas células germinativas primordiais (precursoras dos gametas masculinos ou femininos), rodeadas de células somáticas das quais posteriormente se derivarão as células de Sertoli no macho e as células da granulosa na fêmea. b) O tecido que formará o estroma da gônada: tecido conjuntivo, vasos sanguíneos e as células intersticiais com atividade esteroidogênica (células de Leydig no testículo e a teca interna do ovário). As células somáticas do primórdio gonodal originam-se do mesoderma. Inicialmente são de três tipos: mesenquimáticas, mesoteliais e endoteliais. As células mesenquimáticas e mesoteliais iniciam grande atividade proliferativa ao chegar as CGP. Observa-se então uma condensação de células de origem mesotelial e mesenquimatoso que forma um agregado compacto denominado "blastema gonodal". A partir deste primórdio embrionário, diferenciam-se dois tecidos gonodais: os cordões sexuais e o estroma. Os cordões sexuais são arranjos epiteliais que se encontram delimitados por uma folha basal, e dentro deles encontramos as CGP. Por sua vez, no estroma encontram-se células do tipo mesenquimático e vasos sanguíneos. Neste momento, as gônadas são indiferenciadas e bipotencialmente sexuais, sendo impossível diferenciar, morfologicamente, uma gônada masculina de uma feminina, mas no caso dos machos genéticos já existe uma diferenciação da gônada a nível molecular. Nesta fase já se encontram presentes as estruturas das quais se desenvolvem os dutos mesonéfricos ou de Wolff precursores do aparelho genital masculino e os dutos paramesonéfricos ou de Müller que darão origem ao aparelho reprodutor feminino. Há uma série de fatores envolvidos no desenvolvimento precoce da gônada, entre os quais o fator esteroidogênico I (SFI: Steroidogenic fator l), que é um membro da subfamília de receptores nucleares, receptores órfãos. Este fator de transcrição tem um local de ligação ao DNA composto por dois dedos-de-Zinc. O SFI foi identificado como um ativador de genes envolvidos na biossíntese de esteroides em diferentes células. O SFI está presente durante o desenvolvimento embrionário em regiões associadas com funções endócrinas como gônadas, adrenais, pituitárias e hipotálamos. Os animais homozigotos para o gene SFI defeituoso, necessitam de gônadas e adrenais e têm a função gonadotrófica alterada. Os ratos sem SFI carecem de gonadotrofos e têm um desenvolvimento anormal do núcleo ventro-medial do hipotálamo; em particular as gônadas deixam de se desenvolver entre os dias 11 a 15 e degeneram-se por apoptose. No entanto, a crista genital forma-se e é colonizada pelas células germinativas, o que indica que estas continuam a receber o sinal adequado para a sua migração. Portanto, o SFI não está envolvido no desenvolvimento precoce da gônada e do sistema urogenital, mas parece estar envolvido na manutenção do crescimento das células somáticas presentes na gônada indiferenciada. O gene associado ao tumor de Wilms (WTI: Wilm's tumor Associated) está envolvido no desenvolvimento da gônada e do rim. Durante o desenvolvimento embrionário, WTI se expressa em todo o mesoderma intermediário e posteriormente na gônada indiferenciada, bem como no rim em formação. WTI regula o sinal indutivo do mesênquima para o epitélio celômico dos mesonefros. Se este for o caso, então WTI é responsável pelo crescimento da crista genital ao dirigir a entrada do epitélio celômico. Dado que estas células darão origem às células de Sertoli, a carência de WTI pode causar o desenvolvimento de embriões XY como fêmeas simplesmente porque não se formam as células de Sertoli. Em geral, todos os genes importantes na diferenciação do mesoderma intermediário e do sistema urogenital intervêm no desenvolvimento da gônada precoce. 1.4 DIFERENCIAÇÃO GONODAL O desenvolvimento das gônadas e ductos genitais descritos até o momento, é o mesmo para ambos os sexos. Igualmente, os genes descritos, que estão envolvidos no desenvolvimento das gônadas, ductos genitais e migração das células germinativas, afetam igualmente os embriões com genótipo XX ou XY. A gônada primitiva consiste anatomicamente de uma medula (interna) e uma crosta (externa), e de acordo com o local onde ocorre a colonização das células germinativas, diferenciara em testículo ou um ovário, respectivamente. Nos mamíferos, a primeira manifestação estrutural de diferenciação sexual é detectada na gônada dos machos, onde as células germinativas estão localizadas na medula. A diferenciação do testículo inicia-se quando os cordões sexuais se separam do epitélio celômico como consequência dos arranjos produzidos por uma invasão do mesênquima e vasos sanguíneos que provoca a compactação dos cordões, agora denominados cordões testiculares. As células que rodeiam os cordões se achatam e formam as células mioides, que são responsáveis pela formação das membranas basais. As células do epitélio interno, ou seja, as células de Sertoli, têm duas funções principais: o suporte das CGP e a síntese da hormona antimulleriana, responsável pela regressão dos ductos de Müller e secretada durante o período de diferenciação sexual. As células do estroma que rodeiam os cordões testiculares diferenciam-se para formar vários tipos de células: células mioides, fibroblastos, endotélio e células de Leydig, que são as mais importantes pela sua atividade endócrina. Posteriormente, os cordões testiculares dão origem aos túbulos seminíferos, que contêm o epitélio que produzirá os espermatozoides ao chegar à puberdade. Na fêmea, durante os estágios iniciais de diferenciação gonodal, não se observam mudanças em relação à gônada indiferenciada, só pode-se observar um certo crescimento devido à proliferação de células somáticas e germinativas. As células germinativas iniciam um período de proliferação, que termina com o início da meiose. Iniciada a meiose, dá-se o processo de foliculogênese; neste momento os cordões epiteliais se fragmentam, de tal maneira que cada ovócito fica rodeado de células epiteliais cobertas por uma folha basal fina (figura 1). Para que a gônada primitiva se desenvolva em testículo é indispensável a presença do cromossoma Y, independentemente do número de cromossomas X que contenha o genoma de um indivíduo. O gene determinante do testículo encontra-se localizado no cromossoma Y, denominado sry em ratos e SRY em humanos. O gene sry se expressa durante o desenvolvimento embrionário na crista genital de embriões de camundongos. A expressão é detectável no dia 10,5, pouco depois do aparecimento das cristas genitais, atinge o seu máximo durante o dia 11,5 e mantém-se até pouco depois de ocorrerem os primeiros sinais morfológicos de diferenciação testicular no dia 12,5. Este padrão de expressão é compatível com a teoria de que sry atua induzindo a ativação dos genes (figura 2) que conduzem ao desenvolvimento testicular, sem que exista a necessidade da expressão contínua de sry para manter a diferenciação do testículo após o dia 12,5. Como mencionado anteriormente, a gônada primitiva é composta por vários tipos de células. No entanto, as células germinativas primordiais não são o local de expressão do sry, já que os embriões que necessitam de células germinativas mantêm a expressão de sry e desenvolvem o sexo gonodal normalmente. As células somáticas na gônada em desenvolvimento incluem também as células de suporte. Sabe-se que é nestas células que o sry é expresso para que se diferenciem em células de Sertoli, e a expressão transitória de sry indica que deve ativar a outros genes para a manutenção das células de Sertoli. Uma vez diferenciadas as células de Sertoli, elas se encarregarão da diferenciação do resto das células na gônada. -/- Figura 1: Representação da diferenciação dos órgãos genitais internos. Adaptado de BRONSON, 1989. Figura 2: Cascada de genes envolvidos na diferenciação sexual, adaptado de KOOPMAN, 1999. O fator sry é necessário para a diferenciação do testículo. Embora não se conheçam os genes que provavelmente regulam esse gene, estudos realizados em camundongos demonstram que este gene parece coordenar-se com certos genes autossômicos. Entre estes genes autossômicos, o sox9, que é produzido pelas células de Sertoli uma vez que são estimuladas por sry, de modo que sox9 é um dos genes relacionados estruturalmente com sry. O Sox9 funciona como um fator de transcrição, mas não se sabe se a proteína tem qualquer outra função estrutural; este gene exprime-se abundantemente nos condrócitos e está relacionado com defeitos do aparelho ósseo chamados displasia campomélica. Curiosamente, os pacientes XY com esta condição sofrem frequentemente de reversão do sexo. O Sox9 é um dos poucos genes, além do SRY, do qual as mutações demonstraram interferir com a determinação sexual masculina. No entanto, apenas 75% dos pacientes com anomalias esqueléticas de tipo displasia campomélica têm reversão sexual e não foram encontrados casos de reversão sexual devido a um defeito de Sox9 que não seja acompanhado de defeitos esqueléticos. Isso indica que o Sox9 é apenas um membro da rede de genes que são ativados para determinar a diferenciação sexual, enquanto a rota que rege a condrogênese é mais sensível a perturbações deste. O momento em que se detecta a expressão do gene Sox9 (11dpc em ratos) coincide com a máxima expressão de sry, o que poderia indicar a possibilidade de que sry regule positivamente a Sox9. De fato, na região do promotor de Sox9 há um local de união ao que potencialmente se pode unir o sry. A expressão de Sox9 durante a diferenciação sexual sugere um papel abaixo de sry na diferenciação das células de Sertoli. O cromossoma X também é importante na diferenciação gonodal. O gene DAX-I foi isolado do lócus DSS (Dosage sensitive sex reversal) do cromossoma X. DAX-I é parte da cascata de determinação sexual, mas não é necessário para a formação do testículo. DAX-I é um membro dos receptores nucleares conhecidos como receptores órfãos. Este gene demonstrou ser um poderoso repressor da transcrição de SFI e de vários genes. Os padrões de expressão de DAX-I são complementares daqueles de SFI, ambos expressos nas cristas genitais. Em resumo, dada a evidência exposta, desenvolveu-se a hipótese de que DAX-I é um antagonista de sry; esse antagonismo é dependente dos níveis relativos de DAX-I e sry e de um limiar que varia de espécie para espécie. A DAX-I foi classificada como o gene antitestículo. Na fêmea (cariótipo XX) é importante que ocorra a inativação de um dos cromossomas sexuais X para que se mantenha o equilíbrio genético ao igualar o conteúdo de DNA dos cromossomas. Esse cromossoma inativado constitui o chamado corpúsculo de Barr. No entanto, para que a meiose se realize, é necessário dos dois cromossomas X ativos nos ovócitos para assegurar a diferenciação ovárica e a fertilidade. 1.5 DIFERENCIAÇÃO DOS DUCTOS SEXUAIS O embrião possui, além das gônadas indiferenciadas, dois sistemas de ductos: os de potencialidade masculina denominam-se ductos de Wolff ou mesonéfricos, e os de potencialidade feminina se chamam ductos de Müller ou paramesonéfricos (figura 1). Se a diferenciação gonodal levou à formação de um testículo, a partir do ducto mesonéfrico ou de Wolff se desenvolverão os ductos eferentes, o epidídimo, os ductos deferentes e as vesículas seminais. As hormonas importantes no desenvolvimento do aparelho genital masculino são a testosterona, produzida pelas células de Leydig, e sua forma 5α reduzida, a 5α di-hidrotestosterona. Acredita-se que a testosterona é responsável pela virilização dos ductos de Wolff, e a di-hidrotestosterona dos órgãos genitais externos. No macho, os canais de Müller atrofiam-se devido à ação de uma hormona fetal de origem testicular denominada hormona inibidora das estruturas de Müller (HIM) ou hormona antimulleriana. Este processo começa assim que os cordões espermáticos se formam e se diferenciam as células de Sertoli. A existência de HIM foi proposta baseada em estudos realizados em bezerras freemartin, devido à existência de uma hormona responsável pela atresia dos ductos de Müller que na fêmea dá origem ao útero e aos ovidutos. Essa hormona provoca a involução do aparelho genital do bovino nas gestações gemelares nas quais os produtos de diferente sexo têm comunicação sanguínea por ter ocorrido a anastomose dos vasos de ambas as placentas (figura 3). A HIM é uma glicoproteína pertencente à subfamília de TGFβ, é expressa pelas células que darão origem às células de Sertoli e é um dos primeiros marcadores de diferenciação nestas células. A HIM é secretada na vida adulta pelas células de Sertoli no testículo e por células da granulosa no ovário. No rato a HIM é expressa-se no 12° dia em um teste padrão que segue muito de perto o aumento na expressão de sry. No macho, esta secreção de HIM continua durante a vida fetal e adulta, contudo os níveis de HIM declinam na puberdade devido a um aumento na secreção de testosterona. Vários fatores intervêm na regulação do gene de HIM, incluindo os acima descritos SFI e Sox9. O gene HIM contém segmentos de DNA que são conservados em várias espécies de vertebrados. Existe um nexo de ligação para SFI, que ativa a transcrição de HIM. A mutação no local de ligação de SFI resulta em reversão do sexo em indivíduos XY incluindo genitais femininos normais, presença de um útero formado enfatizando a importância de SFI na determinação sexual e na expressão de HIM. Embora SFI seja um bom candidato como regulador de HIM, é expresso em outras células, como as de Leydig e adrenais, que não expressam HIM. Em contrapartida, Sox9 é expresso unicamente nas células de Sertoli que são as produtoras de HIM. O gene HIM também tem um nexo de ligação para Sox9. Além disso, Sox9 pode atuar sinergicamente com SFI para promover a secreção de HIM. Ao contrário destes dois fatores de transcrição, DAX-I antagoniza a ação de Sox9 e provavelmente SFI sobre o promotor de HIM. Assim, para que as células de Sertoli secretem HIM, a transcrição de DAX-I deve diminuir. Figura 3: Representação da diferenciação dos órgãos genitais externos. Adaptado de BRONSON, 1989. Os ductos de Wolff tornam-se o sistema de ejaculação do macho. A porção mais próxima dos testículos dá origem ao epidídimo, a parte central ao ducto deferente e a porção mais distal às vesículas seminais. A próstata e a parte membranosa da uretra do macho desenvolvem-se a partir da porção pélvica do seio urogenital. A virilização e diferenciação dos ductos de Wolff dependem da produção de testosterona pelo testículo. Quanto aos órgãos genitais externos do macho, o tubérculo genital é ampliado e as dobras uretrais se fundem para formar a uretra peniana. A fusão das dobras uretrais aproxima os tubérculos genitais para formar o escroto (figura 4). Figura 4: Diferenciação do aparelho genital da fêmea e do macho. Adaptado de KOOPMAN, 1989. A diferenciação dos órgãos genitais da fêmea ocorre de forma passiva, já que a ausência de testículos e por isso da hormona inibidora dos ductos de Müller (HIM), assim como dos andrógenos virilizantes, favorece o desenvolvimento dos ductos de Müller, enquanto os de Wolff sofrem atrofia. A porção cefálica dos ductos de Müller dá origem aos ovidutos, que na sua terminação caudal se fundem com o útero. O contato dos ductos de Müller com o seio urogenital induz uma intensa proliferação celular que resulta na formação da área uterovaginal localizado entre o seio urogenital e os ductos de Müller. As células do prato uterovaginal proliferam e aumentam a distância entre as duas estruturas criando o espaço que formará a vagina quando o prato é canalizado e forma um lúmen. Em contraste com o que ocorre no macho, na fêmea a maior parte do seio urogenital se mantém exposta na superfície da abertura onde desembocam a vagina e a uretra. O tubérculo urogenital da fêmea tem um crescimento limitado e forma o clitóris. A sequência de passos da diferenciação sexual do aparelho genital é resumida na tabela 1. Tabela 1: Destino em desenvolvimento dos rudimentos sexuais dos fetos macho e fêmea dos mamíferos -/- Rudimento sexual Macho Fêmea Gônada Testículo Ovário Ductos de Müller (Paramesonéfricos) Vestígios Útero, parte da vagina, ovidutos Ductos de Wolff (Mesonéfricos) Ductos eferentes deferentes, epidídimo, vesículas seminais Vestígios Seio urogenital Uretra, próstata, glândulas bulbouretrais Parte da vagina, uretra, vestíbulo, glândulas vestibulares Tubérculo genital Pênis Clitóris Pregas vestibulares Escroto Lábios vulvares Fonte: HAFEZ, 2004. 1.6 DIFERENCIAÇÃO SEXUAL DO HIPOTÁLAMO Os processos de diferenciação sexual não se limitam apenas às células somáticas do organismo do feto, mas incluem também os centros nervosos superiores do cérebro. Assim, da mesma maneira que a gônada e os ductos sexuais se desenvolvem para o tipo feminino ou masculino, propôs-se que o cérebro pode ser "masculinizado" ou permanecer "Feminizado". A diferenciação do hipotálamo vai depender do ambiente esteroidal do neonato e ocorre na fase perinatal. Estes eventos serão de grande transcendência na vida reprodutiva do indivíduo. Tanto a fêmea como o macho nascem com a capacidade de secreção de gonadotropinas de acordo com um padrão cíclico; contudo, no macho, a exposição do hipotálamo à ação dos andrógenos testiculares durante os primeiros dias da vida extrauterina provoca a masculinização, com o qual o hipotálamo do macho é programado para que a secreção de gonadotropinas se realize a um ritmo relativamente constante por parte da hipófise (secreção tônica). Na fêmea, tanto a secreção tônica como a cíclica se conservam. No entanto, observou-se que a injeção de testosterona ou o transplante de testículo na rata fêmea durante os primeiros dias de vida, suprime a sua futura atividade estral (secreção cíclica). Por outro lado, se os ovários forem transplantados para o rato macho normal castrado na idade adulta, o animal não desenvolve qualquer atividade cíclica, mas se os machos transplantados forem castrados ao nascer, o ovário é capaz de efetuar mudanças cíclicas e ovulações. Isto foi demonstrado em roedores, mas não em animais domésticos ou na espécie humana. Portanto, o padrão de secreção de gonadotropinas, seja cíclico ou tônico, não depende da hipófise, mas do hipotálamo e sua correta diferenciação. 1.7 CONCLUSÕES A maioria dos conhecimentos no campo da biologia do desenvolvimento e, muito especificamente, dos processos de diferenciação sexual têm sido originados de estudos relacionados com desordens congênitas, que na sua maioria devem-se a defeitos de genes específicos. A análise detalhada destas desordens permitiu entender alguns mecanismos endócrinos, moleculares e genéticos envolvidos na diferenciação sexual. A identificação do gene sry como determinante do testículo foi uma contribuição crucial e abriu as portas à compreensão dos mecanismos moleculares e celulares relacionados com o desenvolvimento do testículo. Se este gene não estiver presente, é criado um programa genético alternativo para levar a cabo a diferenciação gonodal para o ovário. Finalmente, devemos ter presente que é necessária uma correlação entre mudanças morfológicas e expressão de genes durante o desenvolvimento para entender os mecanismos relacionados com a diferenciação. -/- Apoio -/- Realização -/- REFERÊNCIAS BIBLIOGRÁFICAS ANDERSON, Robert et al. The onset of germ cell migration in the mouse embryo. Mechanisms of development, v. 91, n. 1-2, p. 61-68, 2000. AUSTIN, Colin Russell; SHORT, R. V. Reproduction in Mammals: Volume 1, Germ Cells and Fertilization. Londres: Cambridge University Press, 1972. BRONSON, Franklin H. Mammalian reproductive biology. Chicago: University of Chicago Press, 1989. BUEHR, Mia. The primordial germ cells of mammals: some current perspectives. Experimental cell research, v. 232, n. 2, p. 194-207, 1997. BYSKOV, Anne G. Differentiation of mammalian embryonic gonad. Physiological reviews, v. 66, n. 1, p. 71-117, 1986. CAPEL, Blanche et al. Migration of mesonephric cells into the mammalian gonad depends on Sry. Mechanisms of development, v. 84, n. 1-2, p. 127-131, 1999. CAPEL, Blanche. The battle of the sexes. Mechanisms of development, v. 92, n. 1, p. 89-103, 2000. DERIVAUX, Jules; BARNABÉ, Renato Campanarut. Reprodução dos animais domésticos. Zaragoza: Acribia, 1980. DOMENICE, Sorahia et al. Aspectos moleculares da determinação e diferenciação sexual. Arquivos Brasileiros de Endocrinologia & Metabologia, v. 46, n. 4, p. 433-443, 2002. DONAHOE, Patricia K. et al. Mullerian inhibiting substance activity in bovine fetal, newborn and prepubertal testes. Biology of reproduction, v. 16, n. 2, p. 238-243, 1977. HAFEZ, Elsayed Saad Eldin; HAFEZ, B. Reprodução animal. São Paulo: Manole, 2004. HANLEY, Neil A. et al. Steroidogenic factor 1 (SF-1) is essential for ovarian development and function. Molecular and cellular endocrinology, v. 163, n. 1-2, p. 27-32, 2000. HIORT, Olaf; PAUL-MARTIN, H. The molecular basis of male sexual differentiation. European journal of endocrinology, v. 142, n. 2, p. 101-110, 2000. HOLY, Lubos; MARTÍNEZ JÚSTIZ, G. Colab. Biología de la reproducción bovina. Havana: Revolucionária, 1975. JOSSO, Nathalie et al. The role of anti-Müllerian hormone in gonadal development. Molecular and cellular endocrinology, v. 145, n. 1-2, p. 3-7, 1998. JOST, Alfred et al. Studies on sex differentiation in mammals. In: Proceedings of the 1972 Laurentian Hormone Conference. Londres: Academic Press, 1973. p. 1-41. KNOBIL, Ernst. Knobil and Neill's physiology of reproduction. EUA: Gulf Professional Publishing, 2006. KOFMAN ALFARO, S.; MERCHANT LARIOS, H.; PEREZ PALACIOS, G. Diferenciacion sexual. I. Bases biologicas del dimorfismo sexual. Rev. invest. clín, p. 349-59, 1982. KOOPMAN, Peter. Sry and Sox9: mammalian testis-determining genes. Cellular and Molecular Life Sciences CMLS, v. 55, n. 6-7, p. 839-856, 1999. MCDONALD, L. E. Veterinary endocrinology. Lea & Febiger, Philadelphia, Pa, 1969. MEIZEL, S.; JOHNSON, M. H. Development in mammals. MH Johnson, Ed, v. 3, p. 1-64, 1978. MELLO, Maricilda Palandi de; ASSUMPÇÃO, Juliana de G.; HACKEL, Christine. Genes envolvidos na determinação e diferenciação do sexo. Arquivos Brasileiros de Endocrinologia & Metabologia, v. 49, n. 1, p. 14-25, 2005. -/- REFERÊNCIAS BIBLIOGRÁFICAS MERCHANT-LARIOS, H. Ovarian differentiation. The Vertebrate Ovary, p. 47-81, 1978. MIES FILHO, Antonio. Reprodução dos animais. Porto Alegre: Sulina, 1987. NEF, Serge; PARADA, Luis F. Hormones in male sexual development. Genes & Development, v. 14, n. 24, p. 3075-3086, 2000. PARKER, Keith L.; SCHEDL, Andreas; SCHIMMER, Bernard P. Gene interactions in gonadal development. Annual review of physiology, v. 61, n. 1, p. 417-433, 1999. SWAIN, Amanda; LOVELL-BADGE, Robin. Mammalian sex determination: a molecular drama. Genes & development, v. 13, n. 7, p. 755-767, 1999. WILHELM, Dagmar; PALMER, Stephen; KOOPMAN, Peter. Sex determination and gonadal development in mammals. Physiological reviews, v. 87, n. 1, p. 1-28, 2007. WILSON, Jean D.; GRIFFIN, James E.; GEORGE, Fredrick W. Sexual differentiation: early hormone synthesis and action. Biology of reproduction, v. 22, n. 1, p. 9-17, 1980. -/- Emanuel Isaque Cordeiro da Silva Belo Jardim, 07 de Maio de 2020. (shrink)

Unlike Heidegger who reflects on the relationship between being and time, we are interested in studying the relationship between doing and time. We begin by discovering that the basis of people's doing is the starting point for any reflection on society and culture, and therefore we believe that our conclusions can be important especially for sociologists, ethnologists, political scientists, economists and psychologists. A fundamental difference between "doing" and "acting" could be that only people, not things, "do". We say "Antonio (...) made his house out of bricks to prevent the wind from blowing it down". We never refer to the "action of the wind" as a "doing". Acting, especially in "action," is erroneously associated with causation; we think, "the action of the wind on the house, is the cause of the collapse of the house." But in reality, causation is only a variant of doing. For example, in "Susanna writes a letter to Paul", Susanna is the cause of the text of the letter, but not of the reading of the letter. This is a paradigmatic example, the one that gave rise to our study. We say that the text "attracts its reader", as the poles of a magnet attract each other. From which we concluded that it is impossible to keep secrets. The importance of the study of doing in general becomes very relevant when we understand that "producing" and "consuming" are variants of doing. In Marx's work, the doing that generates social value is productive doing. But our research shows that all variants of doing generate order and all "order" generates organizational value. Note that the order of an act can be measured in "bits", which frees us from subjective measurements of the value of what we do in "money". We anticipate here that, in the following pages, we arrive at the conclusion that doing can be divided into 6 types of acts and their subgroups: the vectorial independent and hodern acts and the pendular complementary, parallel, curative and causa-dor acts. In addition, we discovered the existence of inter-acts, i.e. the "organizational resonance of the poles of a pendular act" and which includes the self-referent, bipolar, tripolar and multipole variants. This book could not have been written, without the background of the works already published and elaborated jointly, with Professor Luis de Marcos Ortega between 2018 and 2021. We refer to The Informational Foundation of the Human Act and Whispers and Shouts. The Informational Measurement of the Human Act both published by the University of Alcalá (Madrid). The texts of this book were published in weekly installments between May 2020 and December 2021, in the GaZeta portal of Guatemala. We have respected the chronological order of publication, as well as the contents of the articles. (shrink)

En este trabajo ofrezco una interpretación de la concepción heideggeriana del organismo biológico presente en sus cursos de 1929. Para ello, primero enmarcaré la discusión dentro de la interpretación heideggeriana del naturalismo y su manera de entender la relación entre filosofía y ciencia. Luego, analizaré su interpretación de la embriología y la ecología mediante la cual Heidegger esboza aportes originales a la filosofía de la biología, especialmente en torno al problema de la identidad del organismo biológico. Finalmente, mostraré cómo esta (...) interpretación supone una profunda crítica a las concepciones sustancialistas del organismo a favor de una concepción relacional y procesual. (shrink)

In this paper I will critically assess a very popular interpretation of Heidegger’s early thought, according to which meaning (Bedeutung) is conceived as ontologically dependent on human existence (Dasein). In order to criticize this subjectivist understanding of meaning, I will offer an interpretation of Heidegger’s analysis of signs in Being and Time (§17). This will reveal two main things: first, that the ubiquity of sign-phenomena is founded on the universality of the structure known as reference (Verweisung); second, that Heidegger’s idea (...) of reference offers a non-substantialist understanding of meaning and its relation to the world. (shrink)

Scientifically speaking, quantum mechanics (QM) is the most successful theory ever made. Philosophically speaking, however, it is the most controversial theory. Its basic principles seem to contravene our deepest intuitions about reality, which are reflected in the metaphysical commitments of classical mechanics (CM). The aim of this paper is twofold. First, I argue that QM implies an ontological challenge, and not merely an “ontic” one, as it has been traditionally interpreted in the analytic tradition. Second, I suggest that positions known (...) as “ontological pluralism” exhibit an internal weakness due to its unwarranted compromise to a representational view of scientific theories. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (shrink)

¿Qué es la mente humana? ¿Es un aspecto de la naturaleza? ¿O acaso la trasciende? ¿Se puede explicar enteramente al hombre en un lenguaje científico-natural? Desde que Aristóteles definió al hombre como un "animal racional", el pensamiento occidental ha erigido una distinción ontológica entre hombre y naturaleza. Sin embargo, el darwinismo nos ha legado una verdad ineludible: que somos organismos animales, cuyas capacidades conceptuales no escapan a los procesos propios de la naturaleza. ¿Se puede, entonces, pensar al hombre como un (...) ser mental, y al mismo tiempo como un organismo natural? Para ello, sin duda, será necesario reformular los conceptos tradicionales de "mente" y de "naturaleza" en busca de una reconciliación conceptual. El siguiente volumen recorre campos como la fenomenología trascendental, la lógica, la biología, la semiótica, la lingüística y la psicología con el fin de superar este dualismo tan antiguo como la filosofía. (shrink)

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

In actuarial parlance, the price of an insurance policy is considered fair if customers bearing the same risk are charged the same price. The estimate of this fair amount hinges on the expected value obtained by weighting the different claims by their probability. We argue that, historically, this concept of actuarial fairness originates in an Aristotelian principle of justice in exchange (equality in risk). We will examine how this principle was formalized in the 16th century and shaped in life insurance (...) during the following two hundred years, in two different interpretations. The Domatian account of actuarial fairness relied on subjective uncertainty: An agreement on risk was fair if both parties were equally ignorant about the chances of an uncertain event. The objectivist version grounded any agreement on an objective risk estimate drawn from a mortality table. We will show how the objectivist approach collapsed in the market for life annuities during the 18th century, leaving open the question of why we still speak of actuarial fairness as if it were an objective expected value. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such are (...) the conclusions arrived at in this paper. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

This book concerns the nature and the norms of inquiry. It tackles not only philosophical issues regarding what inquiry is, but also issues regarding how it should and should not be executed. Roughly put, inquiry is the activity of searching for the true answers to questions of our interest. But what is the difference between empirical and armchair inquiry? And what are the right and the wrong ways to inquire? Under what conditions should one start inquiring? Which questions are such (...) that one should not inquire into them? The book offers answers to these questions. It argues that competent armchair inquiry only makes explicit what was already implicit--the inquirer already had the answer to her question before inquiring into it, though this was not explicit to her. It also argues that we should avoid inquiring into questions whose answers are unknowable to us, in the instrumental sense of 'should', and that different modes of inquiry are called for, depending on which type of information is available to the subject. These answers are rigorously argued for, and they stem from a unified framework for modeling the activity of inquiry. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

What I call the Doxastic Puzzle, is the impression that while each of these claims seems true, at least one of them must be false: (a) Claims of the form ‘S ought to have doxastic attitude D towards p at t’ are sometimes true at t, (b) If Φ-ing at t is not within S’s effective control at t, then it is false, at t, that ‘S ought to Φ at t’, (c) For all S, p, and t, having doxastic (...) attitude D towards p at t is not within S’s effective control at t. All three natural replies to the puzzle have been pursued. Some have claimed that doxastic attitudes like believing that p are, in fact, within our effective control, or sufficiently so. Others have claimed that doxastic ought-claims, strictly speaking, are always false. And some have denied that effective control is required for the adequacy of doxastic ought-claims in general. I here pursue and examine a different strategy. In the first part of this paper, I argue that these claims are not only each true but actually not in tension with each other in the first place. Instead of attempting to dispel the puzzle, this solution proposes to evade it instead: to solve it by properly understanding, and by thereby accepting without contradiction, all of its constitutive claims. In the second part of the paper, I argue that the evasive strategy forces us to re-think our understanding of the place of normative reasons in epistemology. More exactly, it seems to come at the cost of one central way of thinking about our reasons for having doxastic attitudes, one where such reasons are good-standing exemplars of normative reasons in general. The evasive strategy, that is, threatens to lead us very quickly to a deflationary picture of epistemic normativity: it rescues normative talk, but sacrifices normative substance. I conclude by explaining why I think this is more consequential than some have made it out to be, and by suggesting that these consequences are welcome nonetheless. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an (...) alliance between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

The mirror is the metaphor of what produces, together with the unity of our image, also its doubling, openingnt hereby the possibility of moving toward the state of reflection. What role can philosophy have to educate for reflection? Philosophy must "return to the mids of men" and, as J. Dewey suggests, in order to reflexive thinking to be carried out as a particular form of thought, it is necessary to dwell a state of doubt, discomfort, disorientation.

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

In this paper we present a framework for the dynamic and automatic generation of novel knowledge obtained through a process of commonsense reasoning based on typicality-based concept combination. We exploit a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts in order to generate new prototypical concepts and deal with problem like the PET FISH (Osherson and Smith, 1981; Lieto & Pozzato, 2019). Intuitively, in the context of our application of this logic, the (...) overall pipeline of our system works as follows: given a goal expressed as a set of properties, if the knowledge base does not contain a concept able to fulfill all these properties, then our system looks for two concepts to recombine in order to extend the original knowledge based satisfy the goal. (shrink)

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the quest for (...) an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights. (shrink)

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build arti cial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of the (...) comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the fi nal part of the paper further directions of research will be explored, trying to address current limitations and future challenges. (shrink)

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.